More Pages: Martin Page 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100


PLEASE READ THIS BOOK!!!
Very powerful and faith building insights into GOD's loveThere are many chapters that he expands on what GOD has done to bring us closer to HIM and why these things occurred. I found one statement very profound in the chapter Chemistry of Tears. Dr. De Haan state that "tears are the distillation of our soul" the book is full of such gold nuggets.
I highly recommend this book to enhance your view of GOD's love for you GOD bless jb
What's in the Blood?

Wonderful Christmas Story
An oustanding book - a Christmas Classic in our house!!
A WONDERFUL READ WITH BEAUTIFUL ILLUSTRATIONS

Great Book!Great photos of Bobby Jones and his techniques.
It's also a must have for Jones' unique lost writings finally in print for the world to see. Great for a golf book collection.
Elegant Book of An Elegant Golf SwingMartin Davis who edits this book found a box of over 100 photos of Jones' swing. Along with these were handwritten notes explaining the photos.
So, on one page is the B&W of Jones, then parallel is the four-color swing of Crenshaw and his discussion of Jones' notes.
It is masterful, elegant and a true keepsake to any serious golf historian's collection. A must!
Excellent golf instruction and gift book

This book is a non-negotiable
One of the best on Galatians obtainable.These are the books that helped the Church grow in strength, and are greatly in need of being studied today.
Justification by Faith in all its Monumental BrillianceLuther was convinced that: God justifies a person (declares him righteous and acquits him) by faith alone and not by works, each believer has access to God directly apart from any human intermediaries, and the Scriptures are the true source of authority for both faith and life. Many of his doctrines, especially on justification, he covered brilliantly in his commentary on Galatians. And rightly so, for Galatians was his favorite book, his "Katherine," and it was central to his understanding of the gospel.
Luther's Commentary on Galatians in the history of the Christian Church is very remarkable. It presents like no other of the central thought of Christianity: the justification of the sinner for the sake of Christ's merits alone. Luther also delineates the difference between Law (what God demands from us) and Gospel (what God has done and does for us); in this text, we understand his "simul justus et peccator," that is, a Christian is simultaneously 100 % saint and 100 % sinner.
To understand Christian theology and justification by faith, reading this commentary is proper, right, for our eternal good--for Luther explains the doctrines of the Scriptures in forthright boldness and clarity.


All In All, A Valuable Tarot DeckThat having been said, the deck and the book are a tour de force of its subject, incorporating every little bit of Western and Eastern esotericism in a way that's never before been attempted. One could spend years digesting the symbolism and wisdom present in these cards, and we should think of that as a good thing! Why limit ourselves to one spiritual tradition; I admire the effort to incorporate so many different religious paths into a single system, and I'm amazed that it comes together as coherently as it does.
The pictures are gorgeous (if a bit cramped in by all the associated symbolism - though still fully useable). In a way I wish this deck were available in a larger version (made of thicker stock), for then it would be that much more valuable. But even still I would recommend this for any serious Tarot user. The book and deck are worth the price, though I would caution people from being too tied down by all of the symbolism in the cards - I'm particularly suspicious of the bizarre mathematical "timeline" function. Still, despite its flaws, its strengths are such that you should own this deck!
Absolutely Gorgeous Tarot DeckThere's also a short section in the book called Tarot Party Games. Can you imagine "Tarot Poker?" Hmmm makes me wonder what happens when you get a full house in your spread. Another section I liked was in the book's beginning where it discusses how to take care of your cards, a nice touch.
And of course the book describes each card of the Major and Minor Arcanas. There's also a blank card, called the Mysterious Blank Card which you can use as your Significator card or as your own "custom card." The Major Arcana also has two "zero cards," The Fool and the Multiuniverse." Very nice.
I really like how Joseph has kept with tradition in designing this set, but added a few extra touches that make this deck really stand out. I have looked at numerous Tarot decks and not felt anything, but as soon as I saw this deck, I felt an immediate and positive emotional reaction to them.
Eye Candy Beautiful New Age DeckThe Major Arcana are the typical but instead of 22 cards there is an extra card, Zero titled the Multiuniverse, actually there are two Zero cards, the Fool, which happens to be my most favorite fool in any Tarot Deck. Each of the cards has a Zodiac Symbol on the top left corner, and an Ancient Rune on the Right Corner. On the bottom center of each card is the title of the Card, with an inspirational key word that would be helpful for the beginner as well as the advanced Tarot Reader. The Fool is "beginnings" The Magician is "transmutation" The High Priestess, "Meditation" and on an on. The Pip or the Minor Arcana are the traditional Wands, Cups, and Swords with the exception of the Coins which become the Stones. Again the Minor Arcana follow the style of the Major Arcana, with a Zodiac Symbol on the top left corner, but this time a I Ching sign is on the Right Corner. Again in the center bottom is a key word to help you along the way. The images of the Minor Arcana is that of the Cups, ects ect. But very beautifully done.
In stead of the typical King, Queen, Knight and Page, this deck uses the Father, Mother, Son and Daughter. In this there was one small problem. If you ever read comic books, every one will remind you of the Silver Surfer Superhero, who flies around in the cosmos in a Surfing Board. They really reminded me of that. But still they are just as beautiful as the rest of the deck.
There is one more thing I like about this deck, the blank Significator Card, you can use it as the siginificator or create your own card.
As a New Age type deck, I really have to recommend it, if you like psy-fi, with a comic book feel to it, then this deck will be fun to use. They really are eye candy, but I am a Traditional pre-Rider-Waite Tarot reading kinda guy, I do not know if I would use them. But I enjoy having them in my collection they are beautiful.


Claudia gets her man...I won't tell you who the guy is, but it's definitely surprising... he showers Claud with gifts, if best friends with Kristy's "arch-enemy" and is the guy of Claudia's dreams...
A great book, and another good plot! I like this series a lot more than the baby-sitters club series.
A VERY Surprising Twist of Fate
This series rules!

Lavishly illustrated and informative book about African cats
A gorgeous book!
Cats of Africa -- excellent!

A very cute bookHowever, I do have to say it is the ugliest childrens book cover I have ever seen- you can barely read the title because it's on shiny reflective paper. The scan really doesn't do it justice.
A Classic DelightThe book really shines in its beautifully-drawn illustrations that recall the best of 40's and 50's picturebooks. Boldly composed double-page spreads, they're elaborate and humorous and delighted my daughter.
This is an unusually well crafted tale and should be snapped up.
Chicken Chuck

A useful complement to ¡®Being and Time¡¯Once you pick a work to read through, it would take time to reach the last page. So you could not remember what the author said in previous part, when you read other part. Then you have to read back previous part to understand the next part. But that previous part would ask you to remember the content of the other earlier part. Then you cannot but trace back to that part. It must end in endless circular flipping. But in that way, it must take a few years to read a work once at all! In that case, this kind of book is matchlessly helpful.
Another use of this kind of book is that you can peep into the summary of each section before you venture into that part. Yep, you can¡¯t capture real image with the brief summary. But it must be helpful and save your precious time. But for this kind of usage, I recommend to read another book at the same time: Dreyfus¡¯ ¡®Being-in-the-world¡¯. It has more depth than this book, though it does not cover whole line of the text; only Division I of ¡®Being and Time¡¯. And if you are seriously to delve into ¡®Being and Time¡¯, I recommend to read Kisiel¡¯s ¡®The Genesis of Heidegger¡¯s Being & Time¡¯. As the title implies, this book covers Heidegger¡¯s manuscripts written before publishing ¡®Being and Time¡¯.
Make time for this one!
An indispensible guide to Heidegger's work

Beautiful overviewAfter a brief review of elementary mathematics and mathematical logic in chapter 1, the authors move right into the consideration of computable functions in chapter 2. They choose a particular abstract programming language in which to study the computability theory, which is built from variables, and programs that can be built from lists of instructions. Examples of programs are given, which have a Fortran flavor, with examples of computing partial functions. Unfortunately, a plethora of GOTO statements appear in the programs, and throughout the rest of the book, which is surprising given the publishing date. The use of these GOTO statements in the book is a major annoyance.
Then in chapter 3, the authors discuss primitive recursive functions, beginning with a treatment of composition, followed by the all-important concept of recursion. The class (PRC) of primitive recursive functions is introduced, and shown to be computable. The primitive recursive predicates are introduced, followed by a proof that the existential and universal quantifiers over an element of a PRC class are also PRC. This is followed by a discussion of minimalization and Godel numbers.
The next chapter is very interesting, wherein the famous halting problem is discussed and related to Church's thesis. The authors stress, most importantly, that an algorithm cannot be defined outside of the choice of a language, and therefore Church's thesis cannot be proved as a theorem. The authors also introduce recursively enumerable sets and show, via diagonalization, that non-recursively enumerable sets exist. They give an interesting example of a function that is computable but not primitive recursive.
The next chapter extends the results to strings of symbols instead of just numbers, and the authors introduce programming languages for doing string computations. One of these is the famous Post-Turing language, which they use to discuss the halting problem, with a variant used in the next chapter on Turing machines. The authors discuss the famous halting problem for Turing machines in this chapter. This is followed in chapter 7 by a discussion of productions and simulation of nondeterministic Turing machines. A very lucid treatment of Post's correspondence problem is given.
Things get somewhat more complicated in chapter 8, where the authors attempt to classify unsolvable problems. It contains one of the best discussions I have seen in the literature on oracles, and the authors give a very clear treatment of arithmetic hierarchies.
The second part of the book reads more like a book on compilers, as the authors delve into the area of grammars and automata. Regular languages, deterministic and non-deterministic finite automata are discussed, and Kleene's theorem, which states that regular languages and finite automata define the same languages, is proven. The context-free languages, so familiar from the study of compilers, are discussed also, along with a proof that a context-free grammar can be reduced to a Chomsky normal form grammar. Pushdown automata, needed for accepting context-free languages, are treated in detail. The authors give a good explanation here as to the additional facilities needed for a finite automaton to decide if a word belongs to a "bracket" language. Chomsky hierarchies are also discussed, and the authors motivate nicely the need for a linear bounded automaton to accept context sensitive languages.
Part three of the book is an overview of mathematical logic, and begins with a treatment of the propositional calculus. The satisfiability problem is discussed for this system, along with how to reduce formulas to normal form. The important compactness theorem is given a very detailed proof. Predicate calculus is then discussed, and Herbrand's theorem, which effectively reduces logical inference in predicate calculus to a problem of satisfiability of universal sentences, is proven. This theorem is fascinating and has important applications to automated theorem proving, as it ties together semantic and syntactical properties of a formal system. The Godel incompleteness theorem and the unsolvability of the satisfiability problem in predicate logic is proven.
In part 4, issues in computational complexity are addressed, the measure of complexity given in terms of the Blum axioms. This is a very abstract way of introducing complexity theory, as it introduces measures of complexity that more general than time and space complexity. The fascinating gap theorem, comparing program performance on two computing machines via complexity measures, is proven. This is followed by a detailed discussion of the speedup theorem, which essentially states that there is a wildly complicated recursive function such that for any program computing this function, there exists another program computing the function that works a lot faster for almost every input. The polynomial-time computability is discussed along with the famous P vs NP problem, with the discussion given in terms of Turing machines. Examples of NP-complete problems are given.
The last part of the book covers semantics, with operational and denotational semantics defined and compared. The emphasis in this part is on programming languages and constructions that one would actually find in practice, and so the preceding chapters on computable functions must be extended. The concept of an approximate ordering is introduced to allow for the instantaneous of a computation at some point before its completion. The denotational semantics of recursion equations and infinitary data structures are discussed, with the latter put it in to deal with the sophisticated systems that are constructed here. The discussion here is very involved, but the authors do a fair job of explaining the need for these types of data structures. The same is done for operational semantics, and the authors finally show that the computable numerical functions are actually partially computable. They then show the existence of computable irrational numbers.
Pure mathematical view of Computability and ComplexityA special note goes to the chapter on Blum's complexity, which is about the only good place where I found it and from where I studied for my course on Complexity I.
For this reason the book requires quite more attention than others, but it really worths all the time one can spend reading it. Truly understanding Computability and Complexity as Professor Davis teaches them with this book is in my opinion a definitely high achievement, bringing the sensation that you grasp it totally, with no space for ambiguity or weakness.
My favorite book on the theory of computation